def f() -> int<caret>